28. A transfinite type theory with type variables
پدیدآورنده : Andrews, Peter Bruce
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Type theory
رده :
QA
9
.
A64
30. An introduction to mathematical logic and type theory :
پدیدآورنده : by Peter B. Andrews.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Type theory.
رده :
QA9
.
B974
2011
31. An introduction to mathematical logic and type theory: to truth through proof
پدیدآورنده : Andrews, P. B. )Peter Bruce(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
2002
32. An introduction to mathematical logic and type theory : to truth through proof
پدیدآورنده : Andrews, Peter Bruce
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
1986
33. An introduction to mathematical logic and type theory. to truth through proof
پدیدآورنده : Andrews, P. B.)Peter Bruce(,7391-, Peter B. Andrews
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
34. An introduction to mathematical logic and type theory: to truth through proof
پدیدآورنده : Andrews, Peter Bruce
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
35. An introduction to mathematical logic & type theory:to truth
پدیدآورنده : ANDREWS,PETER BRUCE
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : LOGIC,SYMBOLIC & MATHEMATICAL , TYPE THEORY
رده :
QA
9
.
A638
37. BL,BL
پدیدآورنده : / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
38. Biological aging :
پدیدآورنده : edited by Trygve O. Tollefsbol.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Aging-- Physiological aspects, Laboratory manuals.,Longevity, Laboratory manuals.,Aging-- physiology.,Biomarkers.,Cellular Senescence-- physiology.,Longévité, Manuels de laboratoire.,Vieillissement-- Aspect physiologique, Manuels de laboratoire.,Aging-- Physiological aspects.,FAMILY & RELATIONSHIPS-- Aging.,Longevity.,MEDICAL-- Nursing-- Gerontology.
رده :
QP86
.
B56
2007eb
39. Cold war history
پدیدآورنده : edited by Frédéric Bozo ... [ et al.].
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
40. Computer networking and chemistry :
پدیدآورنده : Peter Lykos, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Chemistry-- Data processing, Congresses.,Communication in chemistry, Congresses.,Computer networks, Congresses.,Chimie-- Informatique-- Congrès.,Communication en chimie-- Congrès.,Réseaux d'ordinateurs, Congrès.,Chemie,Chemistry-- Data processing.,Communication in chemistry.,Computer networks.,Rechnernetz
رده :
QD39
.
3
.
E46
C64
